#!php
<?hh
<<__EntryPoint>>
function main(): void {
  error_reporting(E_ALL);
  echo $foo;
}
